\begin{tabbing}
$\forall$\=${\it es}$:ES, $A$:Type, $l$:IdLnk, ${\it tg}$:Id, ${\it ds}$:$x$:Id fp$\rightarrow$ Type,\+
\\[0ex]${\it conds}$:$k$:Knd fp$\rightarrow$ $V$:Type $\times$ (State(${\it ds}$)$\rightarrow$$V$$\rightarrow$($A$ + Top)).
\-\\[0ex]sender{-}glues{-}triggers{-}p(${\it es}$; $A$; $l$; ${\it tg}$; ${\it ds}$; ${\it conds}$)
\\[0ex]$\Rightarrow$ triggers{-}glued{-}p(${\it es}$; $A$; $l$; ${\it tg}$; ${\it ds}$; ${\it conds}$)
\end{tabbing}